Community Interaction and Conflict on the Web Srijan Kumar William L. Hamilton Stanford University, USA

Source URL: stanford.edu

Vector Lane Threading Suzanne Rivoire, Rebecca Schultz, Tomofumi Okuda†, Christos Kozyrakis Electrical Engineering Department Stanford University {rivoire,rschultz,tokuda,kozyraki}@stanford.edu 8

Source URL: rivoire.cs.sonoma.edu

• Computer architecture
• Concurrent computing
• Computing
• Parallel computing
• Central processing unit
• Flynn's taxonomy
• Microprocessors
• Superscalar processor
• SIMD
• Vector processor
• Scalar processor
• Automatic vectorization

TESTIMONY OF Kathryn Haun Rodriguez Former Assistant U.S. Attorney, U.S. Department of Justice, Lecturer in Law on Cybercrime and Digital Currency, Stanford University Current Member of the Board of Directors, Coinbase

Source URL: financialservices.house.gov

• Cryptocurrencies
• Economy
• Alternative currencies
• Money
• Finance
• Bitcoin
• Decentralization
• Digital currencies
• Virtual currency
• Mt. Gox
• Money laundering
• Blockchain

Pocket: Ephemeral Storage for Serverless Analytics Ana Klimovic, Yawen Wang, Christos Kozyrakis, Patrick Stuedi, Animesh Trivedi, Jonas Pfefferle Stanford University & IBM Research

Source URL: platformlab.stanford.edu

• Computing
• Computer memory
• Computer architecture
• Cloud computing
• Serverless computing
• Non-volatile memory
• Dynamic random-access memory
• Computer data storage
• AWS Lambda
• Random-access memory
• Ferroelectric RAM

Semantics-aware program sampling Pratiksha Thaker Stanford University

Source URL: www.microsoft.com

• Mathematical analysis
• Probability theory
• Statistical theory
• Categorical data
• Categorical distribution
• Uniform distribution
• Bayesian network
• Infinitely divisible probability distributions

Speakeasy: A Platform for Interactive Public Displays Julie A. Black1, Jason I. Hong2, Mark W. Newman3, W. Keith Edwards, Shahram Izadi, Jana Z. Sedivy, Trevor F Smith 1 Stanford University

Source URL: trevor.smith.name

• Application software
• Software
• Mathematical software
• User interfaces
• Video hardware
• Numerical linear algebra
• Speakeasy
• Display device

Robust Defenses for Cross-Site Request Forgery Adam Barth Collin Jackson Stanford University

Source URL: www.doc.ic.ac.uk

• Computing
• World Wide Web
• Software engineering
• Internet privacy
• Cross-site request forgery
• Computer network security
• Hacking
• Ajax
• Same-origin policy
• Cross-site scripting
• HTTP cookie
• Referer spoofing

Full-System Power Analysis and Modeling for Server Environments D. Economou, S. Rivoire, C. Kozyrakis, P. Ranganathan Stanford University / HP Labs Workshop on Modeling, Benchmarking, and Simulation (MoBS)

Source URL: rivoire.cs.sonoma.edu

• Server hardware
• Computer architecture
• Computing
• Itanium
• Blade server
• IBM System p

Designing Theory Solvers with Extensions Andrew Reynolds1 , Cesare Tinelli1 , Dejan1 Jovanovi´c3 , and Clark Barrett2 1 Department of Computer Science, The University of Iowa Department of Computer Science, Stanford Uni

Source URL: csl.sri.com

• Theoretical computer science
• Mathematics
• Mathematical logic
• Logic in computer science
• Automated theorem proving
• Electronic design automation
• Formal methods
• NP-complete problems
• Satisfiability modulo theories
• Boolean satisfiability problem
• Substitution
• Model theory

Object Capabilities and Isolation of Untrusted Web Applications Sergio Maffeis Imperial College London John C. Mitchell Stanford University

Source URL: www.doc.ic.ac.uk

• Computing
• Computer programming
• Software engineering
• Functional languages
• High-level programming languages
• Computer access control
• Object-capability model
• JavaScript
• Heap
• Topological space
• Monad
• Caja project